面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大，软件系统一旦出现故障，很可能会造成人员伤亡或财产等重大损失，因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域，作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时，可信性会下降，会影响到与它可信关联的组件可信性，从而影响到整个系统的可信性.遵循这一思路，设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式，进一步给出当一组件可信性发生变化，整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例，证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.     

高温存储对Sn-Pb-Ni凸点界面金属间化合物生长的影响

倒装焊工艺由于具有信号处理速度快、封装密度高、可靠性高等特点，已广泛应用于高密度集成电路封装工艺中。高可靠倒装焊器件的互连焊点通常采用10Sn90Pb等高铅焊料，该焊料具有剪切强度高、可靠性高等优点，但其熔点高、回流工艺窗口窄等特性给封装工艺带来一定难度，此外该焊料在高温存储环境的可靠性有待进一步提高。本文采用Ni元素对10Sn90Pb焊料进行改性，研究高温存储下Sn-Pb-Ni体系凸点的力学性能以及金属间化合物（Intermetallic compound,IMC）的生长演变规律，以此评估Ni元素对10Sn90Pb凸点可靠性的影响。主要结果如下：适量添加Ni元素可以细化10Sn90Pb焊点界面处IMC晶粒，降低高温存储条件下的IMC生长速度，但在一定程度上会降低凸点的剪切强度。0.05%~0.1%含量的Ni元素添加对10Sn90Pb凸点综合性能提升较为显著。     

光栅信号时钟脉冲细分的误差分析

简介时钟脉冲细分技术的原理，着重分析其细分误差因素，给出了计算实际最大细分数的理论公式，并论述了光栅最大运动速度、时钟脉冲分频数和实际最大细分数之间的关系，对光栅信号时钟脉冲细分系统的参数设计具有指导意义。     

面向高速切削加工的数控编程技术

分析高速切削加工所具有的特殊性及优点,并说明高速切削对数控编程方法的限制.针对传统编程方法,提出了满足高速切削加工的刀位轨迹特殊处理关键技术,并对其实现方法进行了较详尽的论述.同时,对高速切削数控编程中刀具载荷分析与速率优化、毛坯残留量自动分析等新技术的实现方法也进行了探讨.     

自动测试系统集中互连信号优化设计

基于对自动测试系统被测设备的信号种类及数量的分析,构建了被测对象测试信号数学模型,分析了不同测试模式下的测试资源需求情况,并从提高测试系统性价比这一基本原则出发,提出了自动测试系统硬件平台测试资源优化配置的理论计算方法,对自动测试系统的工程设计具有指导意义。     

提高压电式直线电机推力新技术

介绍了蠕动式、脉冲式、行波式及表面波式等几种压电直线电机的改进措施和进展情况，其中微脊式蠕动直线电机和表面波直线电机极有可能成为今后压电直线电机的商品化市场的新产品方向。     

水洞动态测力和流动显示一体化实验技术

研制能够用于低速水流中的三分量内式测力天平,结合氢气泡(或染色液)方法,在水洞(槽)中实现测力和流动显示实验同步进行的动态实验系统,克服了通常测力和流动显示分别在风洞和水洞中进行,实验条件不同给结果分析带来的困难。天平采用高精度位移传感器,避开传统的应变片技术应用于水中所遇到的技术困难。简易飞行器模型的静态和等速俯仰实验结果表明了测量系统的可靠性。     

GDBMS中图形数据的表示与存贮

GDBMS是作者设计并实现的一个实验性的工程图形数据库管理系统。它基于扩充关系数据模型,成功地完成了对工程图形数据的描述。 本文从图形的数据库表示出发,对几何实体的建模方法进行了分析,介绍了GDBMS中的图形数据模型及其实现方法。该数据模型吸取图元枚举法(PI方法),结构实体几何表示法(CSG法)和边界表示法(BR方法)的优点,在进行交互式图形编辑以及图形显示时,采用CSG结构,在数据库的存贮和处理时,采用扩充的BR方法。     

红外隐身材料的研究进展

红外探测器的高度发展已使用于目标表面的热红外隐身材料成为飞行器隐身技术中的一个重要组成部分。但对这种材料的发展情况,以往的文献一向较少涉及。本文概括了这种材料的一般性能要求,较全面地评述了十余年来红外隐身材料研究中各主要方面的发展情况,并分析了一些重要材料品种的特点、性能水平、技术影响因素、存在的问题和发展趋势。     

基于三轴磁强计与雷达高度计的融合导航算法

为了减小近地轨道(小于1000km)地磁导航的估计误差协方差，提高导航的可靠性和准确性，在地磁导航系统中引入雷达高度计作为一个新的测量设备，提出了一种基于三轴磁强计与雷达高度计的融合导航算法。该算法取卫星的位置和速度向量作为状态向量，建立状态方程；取卫星周围的磁场强度和卫星到星下点实际海平面距离求出的地心距，作为观测量建立观测方程；利用扩展卡尔曼滤波构成一种融合导航算法。仿真结果表明，提出的融合导航算法对轨道位置的估计误差小于20米，速度的估计误差小于1米／秒，导航算法的精度和收敛性都优于使用单一地磁导航的系统。